| 1 | Jos{\'{e}} Miguel Rojas and Thomas D. White and Benjamin S. Clegg and Gordon Fraser
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{RojasWCF17,
author = {Jos{\'{e}} Miguel Rojas and Thomas D. White and Benjamin S. Clegg and Gordon Fraser},
title = {Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game},
booktitle = {Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
year = {2017},
address = {},
month = {},
pages = {677--688}
} |
| 2 | Jos{\'{e}} Miguel Rojas and Gordon Fraser and Andrea Arcuri
Seeding strategies in search-based unit test generation
Softw. Test., Verif. Reliab., 26(5), 2016. |
|
| | Abstract: Available soon... |
| | @ARTICLE{rojas_STVR_16,
author = {Jos{\'{e}} Miguel Rojas and Gordon Fraser and Andrea Arcuri},
title = {Seeding strategies in search-based unit test generation},
journal = {Softw. Test., Verif. Reliab.},
year = {2016},
month = {},
volume = {26},
number = {5},
pages = {366--401}
} |
| 3 | Jos{\'{e}} Miguel Rojas and Gordon Fraser
Code Defenders: {A} Mutation Testing Game
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{RojasF16,
author = {Jos{\'{e}} Miguel Rojas and Gordon Fraser},
title = {Code Defenders: {A} Mutation Testing Game},
booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016},
year = {2016},
address = {},
month = {},
pages = {162--167}
} |
| 4 | Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
{IEEE} Trans. Software Eng., 41(10), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{galeotti_TSE_15,
author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller},
title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking},
journal = {{IEEE} Trans. Software Eng.},
year = {2015},
month = {},
volume = {41},
number = {10},
pages = {1019--1037}
} |
| 5 | Gordon Fraser and Andrea Arcuri
Achieving scalable mutation-based generation of whole test suites
Empirical Software Engineering, 20(3), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{FraserA15a,
author = {Gordon Fraser and Andrea Arcuri},
title = {Achieving scalable mutation-based generation of whole test suites},
journal = {Empirical Software Engineering},
year = {2015},
month = {},
volume = {20},
number = {3},
pages = {783--812}
} |
| 6 | Ren{\'{e}} Just and Michael D. Ernst and Gordon Fraser
Efficient mutation analysis by propagating and partitioning infected execution states
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JustEF14,
author = {Ren{\'{e}} Just and Michael D. Ernst and Gordon Fraser},
title = {Efficient mutation analysis by propagating and partitioning infected execution states},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014},
year = {2014},
address = {},
month = {},
pages = {315--326}
} |
| 7 | Ren{\'{e}} Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser
Are mutants a valid substitute for real faults in software testing?
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JustJIEHF14,
author = {Ren{\'{e}} Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser},
title = {Are mutants a valid substitute for real faults in software testing?},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
year = {2014},
address = {},
month = {},
pages = {654--665}
} |
| 8 | Gordon Fraser and Andreas Zeller
Mutation-Driven Generation of Unit Tests and Oracles
{IEEE} Trans. Software Eng., 38(2), 2012. |
|
| | Abstract: Available soon... |
| | @ARTICLE{FraserZ12,
author = {Gordon Fraser and Andreas Zeller},
title = {Mutation-Driven Generation of Unit Tests and Oracles},
journal = {{IEEE} Trans. Software Eng.},
year = {2012},
month = {},
volume = {38},
number = {2},
pages = {278--292}
} |
| 9 | Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux
Augmented dynamic symbolic execution
{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{jamrozik_ase_12,
author = {Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux},
title = {Augmented dynamic symbolic execution},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012},
year = {2012},
address = {},
month = {},
pages = {254--257}
} |
| 10 | Gordon Fraser and Andreas Zeller
Generating parameterized unit tests
Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FraserZ11,
author = {Gordon Fraser and Andreas Zeller},
title = {Generating parameterized unit tests},
booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
year = {2011},
address = {},
month = {},
pages = {364--374}
} |
| 11 | Gordon Fraser and Andrea Arcuri
EvoSuite: automatic test suite generation for object-oriented software
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FraserA11,
author = {Gordon Fraser and Andrea Arcuri},
title = {EvoSuite: automatic test suite generation for object-oriented software},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011},
year = {2011},
address = {},
month = {},
pages = {416--419}
} |
| 12 | Gordon Fraser and Andreas Zeller
Mutation-driven generation of unit tests and oracles
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FraserZ10,
author = {Gordon Fraser and Andreas Zeller},
title = {Mutation-driven generation of unit tests and oracles},
booktitle = {Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
year = {2010},
address = {},
month = {},
pages = {147--158}
} |
| 13 | Gordon Fraser and Franz Wotawa
Complementary Criteria for Testing Temporal Logic Properties
Proceedings of the 3rd International Conferenc eon Tests And Proofs (TAP'09)Zurich, Switzerland, 02-03 June 2009. |
|
| | Abstract: While traditional testing can give evidence that an implementation conforms to a specification there is no guarantee that the implementation therefore also satisfies user requirements. Consequently, it is useful to derive test cases also from requirement properties. In this paper we introduce two new test criteria to measure adequacy of existing test suites and to derive test cases with regard to requirements formalized in linear temporal logic (LTL). The first criterion is complementary to existing criteria for requirement properties in that it focuses on cases where literals in a property should not affect the outcome of the property. The second criterion uses mutation to measure the sensitivity of a test suite with regard to the implemented requirements. In addition to coverage measurement these criteria can also be used to automatically create coverage adequate test suites with a model checker. The results of a case study illustrate the feasibility of the new criteria and demonstrate that they complement existing criteria. |
| | @INPROCEEDINGS{FraserW09,
author = {Gordon Fraser and Franz Wotawa},
title = {Complementary Criteria for Testing Temporal Logic Properties},
booktitle = {Proceedings of the 3rd International Conferenc eon Tests And Proofs (TAP'09)},
year = {2009},
address = {Zurich, Switzerland},
month = {02-03 June},
pages = {58–73}
} |
| 14 | Gordon Fraser and Franz Wotawa
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Journal, 16(2), 2008. |
|
| | Abstract: Available soon... |
| | @ARTICLE{fraser_SQJ_08,
author = {Gordon Fraser and Franz Wotawa},
title = {Using model-checkers to generate and analyze property relevant test-cases},
journal = {Software Quality Journal},
year = {2008},
month = {},
volume = {16},
number = {2},
pages = {161--183}
} |
| 15 | Gordon Fraser and Franz Wotawa
Mutant Minimization for Model-Checker Based Test-Case Generation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007. |
|
| | Abstract: Mutation of model-checker specifications is used to generate test-cases automatically. In general, model-checker based techniques are efficient when using small, abstract models, but are limited in their applicability by the performance of the model-checker. Issues that contribute to potentially bad performance are equivalent mutants which result in no test-cases, and the fact that many different mutants lead to identical or subsumed test-cases. Another drawback of such approaches is that the size of resulting test-suites can be rather large, which might require test-suite reduction as an additional post-processing step. In this paper, we describe how the number of mutants can be minimized with special properties, which help to detect equivalent mutants more quickly and to avoid the creation of redundant test-cases. Consequently, the size of created test-suites is reduced. |
| | @INPROCEEDINGS{FraserW07,
author = {Gordon Fraser and Franz Wotawa},
title = {Mutant Minimization for Model-Checker Based Test-Case Generation},
booktitle = {Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)},
year = {2007},
address = {Windsor, UK},
month = {10-14 September},
pages = {161-168}
} |
